Nuprl Definition : isect def
9,38
postcript
pdf
x
:
A
.
B
(
x
) is Primitive
latex
FDL editor aliases
given
origin
x:A.B(x) is Primitive x:A.B(x) is Primitive